data Coend p = forall a. Coend (p a a)